Fränzle, Martin: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

[IEEE 2013 IREP Symposium - Bulk Power System Dynamics and Control - IX Optimization, Security and Control of the Emerging Power Grid (IREP) - Rethymno, Greece (2013.08.25-2013.08.30)] 2013 IREP Symposium Bulk Power System Dynamics and Control - IX Optimization, Security and Control of the Emerging Power Grid - Modeling options for demand side participation of thermostatically controlled loads

Kamgarpour, Maryam, Ellen, Christian, Soudjani, Sadegh Esmaeil Zadeh, Gerwinn, Sebastian, Mathieu, Johanna L., Mullner, Nils, Abate, Alessandro, Callaway, Duncan S., Franzle, Martin, Lygeros, John

Year:

2013

Language:

english

File:

PDF, 1007 KB

english, 2013

2

Efficient Proof Engines for Bounded Model Checking of Hybrid Systems

Martin Fränzle, Christian Herde

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2005

Language:

english

File:

PDF, 460 KB

english, 2005

3

Model-checking dense-time Duration Calculus

Martin Fränzle

Journal:

Formal Aspects of Computing

Year:

2004

Language:

english

File:

PDF, 237 KB

english, 2004

4

A Semantics for Distributed Execution of Statemate

Martin Fränzle, Jürgen Niehaus, Alexander Metzner, Werner Damm

Journal:

Formal Aspects of Computing

Year:

2003

Language:

english

File:

PDF, 228 KB

english, 2003

5

HySAT: An efficient proof engine for bounded model checking of hybrid systems

Martin Fränzle, Christian Herde

Journal:

Formal Methods in System Design

Year:

2007

Language:

english

File:

PDF, 622 KB

english, 2007

6

A generalized notion of semantic independence

Martin Fränzle, Bernhard von Stengel, Arne Wittmüss

Journal:

Information Processing Letters

Year:

1995

Language:

english

File:

PDF, 525 KB

english, 1995

7

Constraint-based analysis of concurrent probabilistic hybrid systems: An application to networked automation systems

Tino Teige, Andreas Eggers, Martin Fränzle

Journal:

Nonlinear Analysis Hybrid Systems

Year:

2011

Language:

english

File:

PDF, 2.46 MB

english, 2011

8

Engineering constraint solvers for automatic analysis of probabilistic hybrid automata

Martin Fränzle, Tino Teige, Andreas Eggers

Journal:

The Journal of Logic and Algebraic Programming

Year:

2010

Language:

english

File:

PDF, 1.48 MB

english, 2010

9

Visual temporal logic as a rapid prototyping tool

Martin Fränzle, Karsten Lüth

Journal:

Computer Languages

Year:

2001

Language:

english

File:

PDF, 355 KB

english, 2001

10

Combining decomposition and reduction for state space analysis of a self-stabilizing system

Müllner, Nils, Theel, Oliver, Fränzle, Martin

Journal:

Journal of Computer and System Sciences

Year:

2013

Language:

english

File:

PDF, 427 KB

english, 2013

11

Preface

Fränzle, Martin, Tsourdos, Antonios

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2013

Language:

english

File:

PDF, 99 KB

english, 2013

12

Degradation of atrazine byFrankia alniACN14a: gene regulation, dealkylation, and dechlorination

Rehan, Medhat, Kluge, Martin, Fränzle, Stefan, Kellner, Harald, Ullrich, René, Hofrichter, Martin

Journal:

Applied Microbiology and Biotechnology

Year:

2014

Language:

english

File:

PDF, 1.53 MB

english, 2014

13

[IEEE 2012 IEEE 26th International Conference on Advanced Information Networking and Applications (AINA) - Fukuoka, Japan (2012.03.26-2012.03.29)] 2012 IEEE 26th International Conference on Advanced Information Networking and Applications - Combining Decomposition and Reduction for State Space Analysis of a Self-Stabilizing System

Mullner, Nils, Theel, Oliver, Franzle, Martin

Year:

2012

Language:

english

File:

PDF, 351 KB

english, 2012

14

[IEEE 2013 9th Workshop on Robot Motion and Control (RoMoCo) - Kuslin, Poland (2013.07.3-2013.07.5)] 9th International Workshop on Robot Motion and Control - A path planning framework for autonomous vehicles

Eilers, Sonke, Boger, Jurgen, Franzle, Martin

Year:

2013

Language:

english

File:

PDF, 460 KB

english, 2013

15

[IEEE 2008 Sixth IEEE International Conference on Software Engineering and Formal Methods - Cape Town, South Africa (2008.11.10-2008.11.14)] 2008 Sixth IEEE International Conference on Software Engineering and Formal Methods - Efficient Model Checking for Duration Calculus Based on Branching-Time Approximations

Fränzle, Martin, Hansen, Michael R.

Year:

2008

Language:

english

File:

PDF, 381 KB

english, 2008

16

[IEEE Conference Publications Design Automation and Test in Europe - Grenoble, France (2013.03.18-2013.03.22)] Design, Automation & Test in Europe Conference & Exhibition (DATE), 2013 - Towards Performance Analysis of SDFGs Mapped to Shared-Bus Architectures Using Model-Checking

Fakih, Maher, Gruttner, Kim, Franzle, Martin, Rettberg, Achim

Year:

2013

Language:

english

File:

PDF, 737 KB

english, 2013

17

[IEEE 2013 International Conference on Embedded Software (EMSOFT) - Montreal, QC, Canada (2013.09.29-2013.10.4)] 2013 Proceedings of the International Conference on Embedded Software (EMSOFT) - Verifying Simulink diagrams via a Hybrid Hoare Logic Prover

Zou, Liang, Zhany, Naijun, Wang, Shuling, Franzle, Martin, Qin, Shengchao

Year:

2013

Language:

english

File:

PDF, 651 KB

english, 2013

18

[IEEE 2014 28th International Conference on Advanced Information Networking and Applications Workshops (WAINA) - BC, Canada (2014.5.13-2014.5.16)] 2014 28th International Conference on Advanced Information Networking and Applications Workshops - Composing Thermostatically Controlled Loads to Determine the Reliability against Blackouts

Mullner, Nils, Theel, Oliver, Franzle, Martin

Year:

2014

Language:

english

File:

PDF, 914 KB

english, 2014

19

[IEEE 2014 IEEE 28th International Conference on Advanced Information Networking and Applications (AINA) - Victoria, BC, Canada (2014.5.13-2014.5.16)] 2014 IEEE 28th International Conference on Advanced Information Networking and Applications - Combining Decomposition and Lumping to Evaluate Semi-hierarchical Systems

Mullner, Nils, Theel, Oliver, Franzle, Martin

Year:

2014

Language:

english

File:

PDF, 1.45 MB

english, 2014

20

[IEEE 14th International Symposium on Temporal Representation and Reasoning (TIME'07) - Alicante, Spain (2007.06.28-2007.06.30)] 14th International Symposium on Temporal Representation and Reasoning (TIME'07) - A Symbolic Decision Procedure for Robust Safety of Timed Systems

Swaminathan, Mani, Franzle, Martin

Year:

2007

Language:

english

File:

PDF, 110 KB

english, 2007

21

Statistical model checking for stochastic hybrid systems involving nondeterminism over continuous domains

Ellen, Christian, Gerwinn, Sebastian, Fränzle, Martin

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Year:

2015

Language:

english

File:

PDF, 1.53 MB

english, 2015

22

Improving the SAT modulo ODE approach to hybrid systems analysis by combining different enclosure methods

Eggers, Andreas, Ramdani, Nacim, Nedialkov, Nedialko S., Fränzle, Martin

Journal:

Software & Systems Modeling

Year:

2015

Language:

english

File:

PDF, 2.69 MB

english, 2015

23

State-based real-time analysis of SDF applications on MPSoCs with shared communication resources

Fakih, Maher, Grüttner, Kim, Fränzle, Martin, Rettberg, Achim

Journal:

Journal of Systems Architecture

Year:

2015

Language:

english

File:

PDF, 5.53 MB

english, 2015

24

[ACM Press the 14th international conference - Chicago, IL, USA (2011.04.12-2011.04.14)] Proceedings of the 14th international conference on Hybrid systems: computation and control - HSCC '11 - Measurability and safety verification for stochastic hybrid systems

Fränzle, Martin, Hahn, Ernst Moritz, Hermanns, Holger, Wolovick, Nicolás, Zhang, Lijun

Year:

2011

Language:

english

File:

PDF, 513 KB

english, 2011

25

[IEEE 2015 17th International Conference on Advanced Communication Technology (ICACT) - Phoenix Park, PyeongChang, South Korea (2015.7.1-2015.7.3)] 2015 17th International Conference on Advanced Communication Technology (ICACT) - Robust mid-range communication in Urban VANETs

Khan, Saifullah, Franzle, Martin

Year:

2015

Language:

english

File:

PDF, 1.33 MB

english, 2015

26

[IEEE 2015 IEEE Vehicular Networking Conference (VNC) - Kyoto, Japan (2015.12.16-2015.12.18)] 2015 IEEE Vehicular Networking Conference (VNC) - Cooperation and network coding based MAC protocol for VANETs

Khan, Saifullah, Alam, Muhammad, Mullner, Nils, Franzle, Martin

Year:

2015

Language:

english

File:

PDF, 849 KB

english, 2015

27

[IEEE 2015 10th International Symposium on Reconfigurable Communication-centric Systems-on-Chip (ReCoSoC) - Bremen, Germany (2015.6.29-2015.7.1)] 2015 10th International Symposium on Reconfigurable Communication-centric Systems-on-Chip (ReCoSoC) - Envisioning self-verification of electronic systems

Drechsler, Rolf, Franzle, Martin, Wille, Robert

Year:

2015

Language:

english

File:

PDF, 171 KB

english, 2015

28

Constraint-Based Analysis of Probabilistic Hybrid Systems

Teige, Tino, Fränzle, Martin

Journal:

IFAC Proceedings Volumes

Year:

2009

Language:

english

File:

PDF, 229 KB

english, 2009

29

Set-Membership Estimation of Hybrid Systems via SAT Modulo ODE*

Eggers, Andreas, Ramdani, Nacim, Nedialkov, Nedialko S., Fränzle, Martin

Journal:

IFAC Proceedings Volumes

Year:

2012

Language:

english

File:

PDF, 421 KB

english, 2012

30

[IEEE 2016 International Workshop on Symbolic and Numerical Methods for Reachability Analysis (SNR) - Vienna, Austria (2016.4.11-2016.4.11)] 2016 International Workshop on Symbolic and Numerical Methods for Reachability Analysis (SNR) - CSiSAT: A satisfiability solver for SMT formulas with continuous probability distributions

Gao, Yang, Franzle, Martin

Year:

2016

Language:

english

File:

PDF, 267 KB

english, 2016

31

[Lecture Notes in Computer Science] Formal Modeling and Analysis of Timed Systems Volume 9884 ||

Fränzle, Martin, Markey, Nicolas

Year:

2016

Language:

english

File:

PDF, 10.48 MB

english, 2016

32

[Lecture Notes in Computer Science] Formal Modeling and Analysis of Timed Systems Volume 9884 || Consistent Timed Semantics for Nested Petri Nets with Restricted Urgency

Fränzle, Martin, Markey, Nicolas

Year:

2016

Language:

english

File:

PDF, 600 KB

english, 2016

33

[Lecture Notes in Computer Science] Formal Modeling and Analysis of Timed Systems Volume 9884 || On Optimal Control of Stochastic Linear Hybrid Systems

Fränzle, Martin, Markey, Nicolas

Year:

2016

Language:

english

File:

PDF, 1.03 MB

english, 2016

34

[Lecture Notes in Computer Science] Formal Modeling and Analysis of Timed Systems Volume 9884 || Worst-Case Execution Time Analysis for Many-Core Architectures with NoC

Fränzle, Martin, Markey, Nicolas

Year:

2016

Language:

english

File:

PDF, 1.56 MB

english, 2016

35

[Lecture Notes in Computer Science] Formal Modeling and Analysis of Timed Systems Volume 9884 || Input/Output Stochastic Automata

Fränzle, Martin, Markey, Nicolas

Year:

2016

Language:

english

File:

PDF, 305 KB

english, 2016

36

[Lecture Notes in Computer Science] Formal Modeling and Analysis of Timed Systems Volume 9884 || Modelling Attack-defense Trees Using Timed Automata

Fränzle, Martin, Markey, Nicolas

Year:

2016

Language:

english

File:

PDF, 891 KB

english, 2016

37

[Lecture Notes in Computer Science] Formal Modeling and Analysis of Timed Systems Volume 9884 || Scenario-Aware Workload Characterization Based on a Max-Plus Linear Representation

Fränzle, Martin, Markey, Nicolas

Year:

2016

Language:

english

File:

PDF, 1.38 MB

english, 2016

38

Reach-Avoid Verification for Nonlinear Systems Based on Boundary Analysis

Xue, Bai, Easwaran, Arvind, Cho, Nam-Joon, Franzle, Martin

Journal:

IEEE Transactions on Automatic Control

Year:

2016

Language:

english

File:

PDF, 351 KB

english, 2016

39

[Lecture Notes in Computer Science] Formal Modeling and Analysis of Timed Systems Volume 9884 || Timed Multiset Rewriting and the Verification of Time-Sensitive Distributed Systems

Fränzle, Martin, Markey, Nicolas

Year:

2016

Language:

english

File:

PDF, 388 KB

english, 2016

40

[IEEE 2016 IEEE/ACM 24th International Symposium on Quality of Service (IWQoS) - Beijing, China (2016.6.20-2016.6.21)] 2016 IEEE/ACM 24th International Symposium on Quality of Service (IWQoS) - Multi-channel mode for emergency system in urban connected vehicles

Khan, Saifullah, Franzle, Martin

Year:

2016

Language:

english

File:

PDF, 305 KB

english, 2016

41

[Lecture Notes in Computer Science] Dependable Software Engineering: Theories, Tools, and Applications Volume 9984 ||

Fränzle, Martin, Kapur, Deepak, Zhan, Naijun

Year:

2016

Language:

english

File:

PDF, 11.81 MB

english, 2016

42

[IEEE 2015 IEEE European Modelling Symposium (EMS) - Madrid, Spain (2015.10.6-2015.10.8)] 2015 IEEE European Modelling Symposium (EMS) - Nonlinear Model Predictive Control for Tracking of Underactuated Vessels under Input Constraints

Abdelaal, Mohamed, Franzle, Martin, Hahn, Axel

Year:

2015

Language:

english

File:

PDF, 585 KB

english, 2015

43

[Lecture Notes in Computer Science] Dependable Software Engineering: Theories, Tools, and Applications Volume 9984 || Schedulability Analysis of Timed Regular Tasks by Under-Approximation on WCET

Fränzle, Martin, Kapur, Deepak, Zhan, Naijun

Year:

2016

Language:

english

File:

PDF, 475 KB

english, 2016

44

[Lecture Notes in Computer Science] Dependable Software Engineering: Theories, Tools, and Applications Volume 9984 || Computing Specification-Sensitive Abstractions for Program Verification

Fränzle, Martin, Kapur, Deepak, Zhan, Naijun

Year:

2016

Language:

english

File:

PDF, 666 KB

english, 2016

45

[Lecture Notes in Computer Science] Dependable Software Engineering: Theories, Tools, and Applications Volume 9984 || Semipositivity in Separation Logic with Two Variables

Fränzle, Martin, Kapur, Deepak, Zhan, Naijun

Year:

2016

Language:

english

File:

PDF, 341 KB

english, 2016

46

[Lecture Notes in Computer Science] Dependable Software Engineering: Theories, Tools, and Applications Volume 9984 || Formalization of Fault Trees in Higher-Order Logic: A Deep Embedding Approach

Fränzle, Martin, Kapur, Deepak, Zhan, Naijun

Year:

2016

Language:

english

File:

PDF, 1.08 MB

english, 2016

47

NMPC-based Trajectory Tracking and Collison Avoidance of Underactuated Vessels with Elliptical Ship Domain**This research is supported by the State of Lower Saxony as part of the project Critical Systems Engineering for Socio-Technical Systems (CSE).

Abdelaal, Mohamed, Fränzle, Martin, Hahn, Axel

Journal:

IFAC-PapersOnLine

Year:

2016

Language:

english

File:

PDF, 471 KB

english, 2016

48

Opening the s-triazine ring and biuret hydrolysis during conversion of atrazine by Frankia sp. strain EuI1c

Rehan, Medhat, El Fadly, Gomaah, Farid, Mona, El sharkawy, Aml, Fränzle, Stefan, Ullrich, René, Kellner, Harald, Hofrichter, Martin

Journal:

International Biodeterioration & Biodegradation

Year:

2017

Language:

english

File:

PDF, 1.35 MB

english, 2017

49

Requirements for e-Navigation Architectures

Hahn, Axel, Bolles, Andre, Fränzle, Martin, Fröschle, Sibylle, Hyoung Park, Jin

Journal:

International Journal of e-Navigation and Maritime Economy

Year:

2016

Language:

english

File:

PDF, 948 KB

english, 2016

50

[IEEE 2016 IEEE Vehicular Networking Conference (VNC) - Columbus, OH, USA (2016.12.8-2016.12.10)] 2016 IEEE Vehicular Networking Conference (VNC) - Poster: A hybrid MAC scheme for emergency systems in urban VANETs environment

Khan, Saifullah, Alam, Muhammad, Mullner, Nils, Franzle, Martin

Year:

2016

Language:

english

File:

PDF, 228 KB

english, 2016